GrpSig{i}  Type{i'} 

latex

Up	grp sig object directory
Definitions of Statement	GrpSig
Definitions	GrpSig, t  T
Lemmas	bool wf